281. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
.
I577
2000
282. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
پدیدآورنده : Jurgen Richter-Gebert, Dongming Wang, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2061
283. Automated deduction in multiple-valued logics
پدیدآورنده : Hahnle, Reiner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
H34
1993
284. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
285. Axiomatic analysis; an introduction to logic and the real number system, under the general editorship of David Vernon Widder
پدیدآورنده : Katz, Robert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
K3
286. Axiomatic theory of sets and classes
پدیدآورنده : Eisenberg, Murray
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
E37
287. Basic Concepts of Synthetic Differential Geometry
پدیدآورنده : by René Lavendhomme.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Cell aggregation-- Mathematics.,Global differential geometry.,Logic, Symbolic and mathematical.,Mathematics.
288. Basic concepts of mathematics and logic
پدیدآورنده : / Michael C. Gemignani
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics,Logic, Symbolic and mathematical
رده :
510
Ge-B
289. Basic concepts of mathematics and logic
پدیدآورنده : Gemignani, Michael C
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
290. Basic concepts of mathematics and logic
پدیدآورنده : / Michael C. Gemignani
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Mathematics,Logic, symbolic and mathematical
رده :
QA39
.
G38
291. Basic laws of arithmetic :
پدیدآورنده : by Gottlob Frege ; translated and edited by Philip A. Ebert & Marcus Rossberg, with Crispin Wright and the advice of Michael Beaney [and nine others] ; appendix by Roy T. Cook.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Mathematics.
رده :
BC135
.
F85
292. Basice concepts of mathematics and logic
پدیدآورنده : Gemignani,Michel C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
293. Beginning logic
پدیدآورنده : / E. J. Lemmon,Lemmon
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Logic, Symbolic and mathematical
رده :
621
.
395
L554B
294. Begriffsschrift und andere Aufsatze
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
B3245
.
F23B4
1964
295. Benginning Logic
پدیدآورنده : / E. J. Lemmon
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Logic,symbolic and mathematical
رده :
511
.
3
L554B
296. Benutzerhandbuch für die interaktive Geometrie-Software :
پدیدآورنده : von Jürgen Richter-Gebert, Ulrich H. Kortenkamp.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Geometry.,Logic, Symbolic and mathematical.
297. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
298. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G2413
1992
299. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G29
300. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
پدیدآورنده : / Alejandro R. Garciadiego
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
رده :
QA9
.
G2413
1992
